1. <A> Computational Logic
پدیدآورنده : \ Robert S. Boyer and J Strother Moore
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving.
رده :
E-Book
,
2. A computational logic
پدیدآورنده : Boyer, Robert S.,Robert S. Boyer and J Strother Moore
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
3. A computational logic
پدیدآورنده : Boyer, Robert S.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
4. A computational logic handbook
پدیدآورنده : BOYER,ROBERT S
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
5. America's communal utopias /
پدیدآورنده : edited by Donald E. Pitzer ; foreword by Paul S. Boyer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Collective settlements-- United States-- History.,Communal living-- United States-- History.,Communitarianism-- United States.,Collective settlements.,Communal living.,Communitarianism.,Gemeenschapszin.,HISTORY-- United States-- General.,POLITICAL SCIENCE-- Political Ideologies-- Communism & Socialism.,Utopieën.,United States., 7
رده :
HX653
.
A63
1997eb
6. American history :
پدیدآورنده : Paul S. Boyer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : United States, History, 0
رده :
E178
.
B782
2012
7. Automated reasoning : essays in honor of Woody Bledsoe
پدیدآورنده : edited by Robert S. Boyer
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Automatic theorem proving,، Artificial intelligence
رده :
QA
76
.
9
.
A96
A92
1991
8. July 2, 2011. Proceedings-Pattern Recognition: Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29
پدیدآورنده : / Youssef Brants, Edwin Robert Hancock (eds.)-Ochoa, Cherif Ben-s Ariel CarrascoهTrinidad, Jes-nezک Francisco MartفKim L. Boyer, Dijia Wu (auth.), Jos
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
9. Oil and gas exploration techniques seismic surveying and well logging
پدیدآورنده : Boyer, S.
کتابخانه: (Semnan)
موضوع : ، Oil well logging
رده :
TN
871
.
35
.
B6O5
10. Purity in print :
پدیدآورنده : Paul S. Boyer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Censorship-- United States-- History,Obscenity (Law)-- United States
11. Religion and the Culture of Print in Modern America
پدیدآورنده : \ Edited by Charles L. Cohen and Paul S. Boyer
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Religious literature -- Publishing -- United States,Religious institutions -- Publishing -- United States.
رده :
Z
286
.
R4
2008
E-Book
,
12. Salem possessed; the social origins of witchcraft
پدیدآورنده : Boyer, Paul S
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع :
رده :
18754
BF
13. Seismic surveying and well logging
پدیدآورنده : Boyer, S.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Seismic prospecting,، Oil well logging,، Petroleum - Prospecting
رده :
TN
269
.
8
.
B68
1997
14. Seismic surveying and well logging
پدیدآورنده : / Sylvain Boyer, Jean-Luc Mari, translated from the french by M.S.N.Carpenter
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Oil well logging, Acoustic,Oil well logging,Geophysical well logging
رده :
TN871
.
35
.
B66
1994
15. Seismic surveying and well logging /
پدیدآورنده : Sylvain Boyer, Jean-Luc Mari ; translated from the French by M.S.N. Carpenter ; reviewed by A. Rivollier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Oil well logging,Petroleum-- Prospecting,Seismic prospecting
رده :
TN269
.
8
.
B68
1997
16. Seismic surveying and well logging
پدیدآورنده : Boyer, S.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Seismic prospecting,، Oil well logging,، Petroleum-- Prospecting
رده :
TN
269
.
8
.
B68
1997
17. Sismique et diagraphies.English,Seismic surveying and well logging
پدیدآورنده : Sylvain Boyer, Jean-Luc Mari ; translated from the French by M.S.N. Carpenter ; reviewed by A. Rivollier
کتابخانه: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
موضوع : Seismic prospecting,Oil well logging,Petroleum- Prospecting
رده :
TN
,
269
.
8
,.
B68
,
1997
18. The Correctness problem in computer science
پدیدآورنده : edited by R. S. Boyer and J Strother Moore
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programs -- Correctness
رده :
QA
76
.
6
.
C663
19. <The> Enzymes
پدیدآورنده : \ Edited by David S. Sigman, Paul D. Boyer
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Enzymes,آنزیمها,a03,a03
رده :
E-Book
,